A Non–Interleaving Semantics for MSC
نویسنده
چکیده
In this paper, we develop a non–interleaving semantics and an interleaving semantics for MSC’96 based on the model of families of partially ordered sets. These semantics are no denotational semantics, but are defined via translations of the textual syntax for MSC’96 into a process algebra. We show that the interleaving semantics agrees on BMSC with the standardized semantics for MSC’92, while the non–interleaving semantics can be given an interleaving interpretation.
منابع مشابه
A Semantics for MSC Based on Petri Net Components
In this paper, we develop a non–interleaving semantics based on Petri net components for MSC’96 and MSC–2000. These semantics are defined using a transformational approach, closely following the lines of [3] apart from giving a direct translation.
متن کاملNon Interleaving Semantics for CCS and Fast Deadlock Detection
This paper proposes a non interleaving semantics for CCS and de nes a class of CCS compositions for which interleaving and non interleaving se mantics are equivalent It also presents a fast software tool for analysis of CCS compositions under non interleaving semantics The tool employs Petri net techniques with multiple transition rings Contact jacek cse unsw oz au
متن کاملNon-interleaving Operational Semantics for the Pi-calculus – technicalities
We provide a non-interleaving operational semantics for the pi-calculus as asynchronous transition systems, which generalizes the standard interleaving structural operational semantics and unfolds to standard, stable prime event structures. We follow the approach taken by Mukund and Nielsen in providing non-interleaving semantics for CCS by infering the so-called prefixing (structural or subjec...
متن کاملA True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...
متن کاملPartial Order Models for Quantitative Extensions of
Event structures are a prominent model for non-interleaving concurrency. The use of event structures for providing a compositional non-interleaving semantics to LOTOS without data is studied. In particular, several quantitative extensions of event structures are proposed that incorporate notions like time|both of deterministic and stochastic nature|and probability. The suitability of these mode...
متن کامل